1. Rigorous software development : an introduction to program verification
پدیدآورنده : Jose Bacelar Almeida ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification,، Computer software -- Development
رده :
QA
76
.
76
.
V47R5